4. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده : Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334
5. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
6. Advances in Mathematical and Statistical Modeling /
پدیدآورنده : Barry C. Arnold [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematical statistics-- Data processing, Congresses.,Mathematical statistics-- Data processing.,MATHEMATICS-- Probability & Statistics-- General.,Statistische modellen.,Statistisches Modell, Aufsatzsammlung.
رده :
QA276
.
4
.
A28
2008
7. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
8. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
10. Basic Circuit theory, with digital compulations
پدیدآورنده : / Lawrence p. Huelsman,Huelsman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electric circuits,Electronic Data processing --Earth sciences -- Congresses,Electric engineering -- Mathematics
رده :
TK
454
.
H84
11. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
12. Communications, signal processing, and systems :
پدیدآورنده : Qilian Liang, Jiasong Mu, Min Jia, Wei Wang, Xuhong Feng, Baoju Zhang, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Signal processing, Congresses.,Telecommunication systems, Congresses.,Computer networks.,Signal processing.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
13. Communications, signal processing, and systems :
پدیدآورنده : Qilian Liang, Xin Liu, Zhenyu Na, Wei Wang, Jiasong Mu, Baoju Zhang, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Signal processing, Congresses.,Telecommunication systems, Congresses.,Computer networks.,Signal processing.,Telecommunication systems.
رده :
TK5101
.
A1
14. Computational and information technologies in science, engineering and education :
پدیدآورنده : Yuri Shokin, Zhassulan Shaimardanov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Technology-- Computer simulation, Congresses.,Technology-- Mathematical models, Congresses.,Technology-- Computer simulation.,Technology-- Mathematical models.
رده :
T57
15. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
16. Computational methods and experimental measurements :
پدیدآورنده : editors, G.A. Keramidas, C.A. Brebbia ; sponsored by the International Society for Computational Methods in Engineering.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering -- Data processing -- Congresses.,Engineering mathematics -- Congresses.,Measurement -- Congresses.
رده :
TA329
.
E358
1982
17. Computational methods and experimental measurements VI
پدیدآورنده : editors, C.A. Brebbia, G.M. Carlomagno
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Engineering mathematics - Congresses, Mensuration - Congresses, Engineering - Data processing - Congresses
رده :
TA
329
.
I54
1993
18. Computational methods and experimental measurements VI
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Engineering mathematics-- Congresses,، Mensuration-- Congresses,، Engineering-- Data processing-- Congresses
رده :
TA
329
.
I54
1993
19. Computational methods and experimental measurements X
پدیدآورنده : editors, Y. Villacampa Esteve, G.M. Carlomagno, C.A. Brebbia
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Engineering mathematics,Congresses ، Mensuration,Data processing -- Congresses ، Engineering
رده :
TA
329
.
C65
2001
20. Computational methods and experimental measurements XV
پدیدآورنده : / editors, G.M. Carlomagno & C.A. Brebbia
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering mathematics, Congresses,Measurement, Congresses,Engineering, Data processing, Congresses
رده :
E-BOOK